/*
 * RDyL.h
 *
 *  Created on: May 15, 2012
 *      Author: kobe
 */

#ifndef RDYL_H_
#define RDYL_H_

#include "Rule.h"

class R_DyL: public Rule {
public:
	R_DyL();
	virtual ~R_DyL();
	std::vector<Sequent*> run(Sequent*);
	std::string toString();
	std::string toLatex();
private:
	Context* search(Context* context);
	bool checkLoop(Context* context, Proposition* p);
};

#endif /* RDYL_H_ */
